Integration of sec^3x